order topology

[数] 序拓扑